[INFO] fetching crate gollum-runtime 0.4.0...
[INFO] testing gollum-runtime-0.4.0 against try#b8e88e5ddf5521a9f43ee3f62a702388c713e4bb for pr-155114
[INFO] extracting crate gollum-runtime 0.4.0 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate gollum-runtime 0.4.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate gollum-runtime 0.4.0
[INFO] tweaked toml for crates.io crate gollum-runtime 0.4.0 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate gollum-runtime 0.4.0 on toolchain b8e88e5ddf5521a9f43ee3f62a702388c713e4bb
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate gollum-runtime 0.4.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 470a6efceffecebb675b7d60ac254c38efcfe5ac45570118e65ec490fdc6799f
[INFO] running `Command { std: "docker" "start" "-a" "470a6efceffecebb675b7d60ac254c38efcfe5ac45570118e65ec490fdc6799f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "470a6efceffecebb675b7d60ac254c38efcfe5ac45570118e65ec490fdc6799f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "470a6efceffecebb675b7d60ac254c38efcfe5ac45570118e65ec490fdc6799f", kill_on_drop: false }`
[INFO] [stdout] 470a6efceffecebb675b7d60ac254c38efcfe5ac45570118e65ec490fdc6799f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0e3618af045ceea85812b680095e1ee05869a8c283cb779dff67850b0290aa5d
[INFO] running `Command { std: "docker" "start" "-a" "0e3618af045ceea85812b680095e1ee05869a8c283cb779dff67850b0290aa5d", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.185
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling nom v8.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling async-recursion v1.1.1
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling errno v0.3.14
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling logos-codegen v0.14.4
[INFO] [stderr]    Compiling tokio v1.51.1
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling logos-derive v0.14.4
[INFO] [stderr]    Compiling gollum-ast v0.4.0
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling logos v0.14.4
[INFO] [stderr]    Compiling futures-executor v0.3.32
[INFO] [stderr]    Compiling futures v0.3.32
[INFO] [stderr]    Compiling gollum-ir v0.4.0
[INFO] [stderr]    Compiling gollum-query-planner v0.4.0
[INFO] [stderr]    Compiling gollum-kb v0.4.0
[INFO] [stderr]    Compiling gollum-parser v0.4.0
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling gollum-wam v0.4.0
[INFO] [stderr]    Compiling gollum-runtime v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.20s
[INFO] running `Command { std: "docker" "inspect" "0e3618af045ceea85812b680095e1ee05869a8c283cb779dff67850b0290aa5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e3618af045ceea85812b680095e1ee05869a8c283cb779dff67850b0290aa5d", kill_on_drop: false }`
[INFO] [stdout] 0e3618af045ceea85812b680095e1ee05869a8c283cb779dff67850b0290aa5d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] edd755bbe76ba766d4c6ce4f08e7753a4d64734a7685f0d946572fb8470d3788
[INFO] running `Command { std: "docker" "start" "-a" "edd755bbe76ba766d4c6ce4f08e7753a4d64734a7685f0d946572fb8470d3788", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling logos-codegen v0.14.4
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand v0.9.4
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling logos-derive v0.14.4
[INFO] [stderr]    Compiling gollum-ir v0.4.0
[INFO] [stderr]    Compiling logos v0.14.4
[INFO] [stderr]    Compiling gollum-parser v0.4.0
[INFO] [stderr]    Compiling gollum-kb v0.4.0
[INFO] [stderr]    Compiling gollum-query-planner v0.4.0
[INFO] [stderr]    Compiling gollum-wam v0.4.0
[INFO] [stderr]    Compiling gollum-runtime v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 13.69s
[INFO] running `Command { std: "docker" "inspect" "edd755bbe76ba766d4c6ce4f08e7753a4d64734a7685f0d946572fb8470d3788", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "edd755bbe76ba766d4c6ce4f08e7753a4d64734a7685f0d946572fb8470d3788", kill_on_drop: false }`
[INFO] [stdout] edd755bbe76ba766d4c6ce4f08e7753a4d64734a7685f0d946572fb8470d3788
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b8e88e5ddf5521a9f43ee3f62a702388c713e4bb" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5daf89875cc9bffa289993ab02d1d8d46e92fe9f788dc1d3960d404440e4be2e
[INFO] running `Command { std: "docker" "start" "-a" "5daf89875cc9bffa289993ab02d1d8d46e92fe9f788dc1d3960d404440e4be2e", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/gollum_runtime-c2aebe9e6fe30a67)
[INFO] [stdout] 
[INFO] [stdout] running 74 tests
[INFO] [stdout] test builtins::arithmetic::tests::arith_eq_equal_integers ... ok
[INFO] [stdout] test builtins::arithmetic::tests::gt_boundaries ... ok
[INFO] [stdout] test builtins::arithmetic::tests::arith_eq_int_float_cross ... ok
[INFO] [stdout] test builtins::arithmetic::tests::ge_boundaries ... ok
[INFO] [stdout] test builtins::arithmetic::tests::is_checks_concrete_equal ... ok
[INFO] [stdout] test builtins::arithmetic::tests::is_binds_var ... ok
[INFO] [stdout] test builtins::arithmetic::tests::le_boundaries ... ok
[INFO] [stdout] test builtins::arithmetic::tests::lt_boundaries ... ok
[INFO] [stdout] test builtins::comparison::tests::no_unify_inverse ... ok
[INFO] [stdout] test builtins::comparison::tests::struct_eq_atoms ... ok
[INFO] [stdout] test builtins::comparison::tests::struct_eq_deep_compound ... ok
[INFO] [stdout] test builtins::comparison::tests::struct_eq_var_vs_atom ... ok
[INFO] [stdout] test builtins::arithmetic::tests::arith_neq ... ok
[INFO] [stdout] test builtins::arithmetic::tests::is_var_float_rhs ... ok
[INFO] [stdout] test builtins::comparison::tests::struct_neq_inverse ... ok
[INFO] [stdout] test builtins::comparison::tests::unify_atoms_equal ... ok
[INFO] [stdout] test builtins::comparison::tests::unify_atoms_unequal ... ok
[INFO] [stdout] test builtins::comparison::tests::unify_var_lhs_binds ... ok
[INFO] [stdout] test builtins::logic::tests::fail_returns_empty_vec ... ok
[INFO] [stdout] test builtins::comparison::tests::unify_var_rhs_binds ... ok
[INFO] [stdout] test builtins::logic::tests::not_requires_runtime ... ok
[INFO] [stdout] test builtins::logic::tests::true_returns_one_empty_substitution ... ok
[INFO] [stdout] test builtins::temporal::tests::test_after_succeeds ... ok
[INFO] [stdout] test builtins::temporal::tests::test_before_succeeds ... ok
[INFO] [stdout] test builtins::temporal::tests::test_meets_succeeds ... ok
[INFO] [stdout] test builtins::temporal::tests::test_meets_fails_gap ... ok
[INFO] [stdout] test builtins::temporal::tests::test_during_succeeds ... ok
[INFO] [stdout] test builtins::term::tests::atom_constants ... ok
[INFO] [stdout] test builtins::term::tests::float_promotion ... ok
[INFO] [stdout] test builtins::term::tests::literals_pass_through ... ok
[INFO] [stdout] test builtins::term::tests::unary_abs_sign ... ok
[INFO] [stdout] test builtins::term::tests::unknown_atom_gives_not_an_expression ... ok
[INFO] [stdout] test builtins::term::tests::integer_arithmetic ... ok
[INFO] [stdout] test builtins::temporal::tests::test_overlaps_fails_no_overlap ... ok
[INFO] [stdout] test builtins::temporal::tests::test_overlaps_succeeds ... ok
[INFO] [stdout] test builtins::tests::lookup_is_3_returns_none ... ok
[INFO] [stdout] test builtins::tests::register_and_contains_roundtrip ... ok
[INFO] [stdout] test builtins::term::tests::division_by_zero_integer ... ok
[INFO] [stdout] test builtins::temporal::tests::test_before_fails_overlap ... ok
[INFO] [stdout] test builtins::type_check::tests::float_positive ... ok
[INFO] [stdout] test builtins::type_check::tests::compound_positive ... ok
[INFO] [stdout] test builtins::logic::tests::false_returns_empty_vec ... ok
[INFO] [stdout] test builtins::tests::lookup_nonexistent_returns_none ... ok
[INFO] [stdout] test builtins::term::tests::power_returns_float ... ok
[INFO] [stdout] test builtins::tests::with_standard_contains_all ... ok
[INFO] [stdout] test builtins::tests::custom_builtin_can_be_looked_up ... ok
[INFO] [stdout] test builtins::tests::with_standard_contains_all_22 ... ok
[INFO] [stdout] test builtins::type_check::tests::atom_negative_int_and_var ... ok
[INFO] [stdout] test builtins::type_check::tests::atom_positive ... ok
[INFO] [stdout] test builtins::type_check::tests::compound_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::integer_positive ... ok
[INFO] [stdout] test builtins::type_check::tests::is_list_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::is_list_empty_list ... ok
[INFO] [stdout] test builtins::type_check::tests::is_list_proper_list ... ok
[INFO] [stdout] test builtins::type_check::tests::number_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::var_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::integer_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::float_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::var_positive ... ok
[INFO] [stdout] test builtins::term::tests::var_gives_instantiation_error ... ok
[INFO] [stdout] test builtins::type_check::tests::number_positive ... ok
[INFO] [stdout] test solver::tests::test_solver_backtracking ... ok
[INFO] [stdout] test solver::tests::test_solve_ir_profile_backtrack_counting ... ok
[INFO] [stdout] test solver::tests::test_solve_ir_profile_text_output ... ok
[INFO] [stdout] test solver::tests::test_solver_rule_execution ... ok
[INFO] [stdout] test solver::tests::test_solve_ir_profile_basic_metrics ... ok
[INFO] [stdout] test solver::tests::test_solver_no_match ... ok
[INFO] [stdout] test solver::tests::test_solver_basic_fact_query ... ok
[INFO] [stdout] test solver::tests::test_solver_assert_retract ... ok
[INFO] [stdout] test solver::tests::test_solve_ir_profile_arithmetic ... ok
[INFO] [stdout] test solver::tests::test_solver_load_program ... ok
[INFO] [stdout] test solver::tests::test_solver_ground_query ... ok
[INFO] [stdout] test solver::tests::test_solver_multiple_facts ... ok
[INFO] [stdout] test solver::tests::test_solver_custom_builtin ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 74 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/clp.rs (/opt/rustwide/target/debug/deps/clp-3e070c0d57d5f35d)
[INFO] [stdout] 
[INFO] [stdout] running 106 tests
[INFO] [stdout] test clp_domain_empty_after_exclusion_fails ... ok
[INFO] [stdout] test all_different_rejects_duplicate_bound_values ... ok
[INFO] [stdout] test backtracking_restores_domain_after_choice ... ok
[INFO] [stdout] test clp_domain_values_small_range ... ok
[INFO] [stdout] test all_different_succeeds_for_empty_list ... ok
[INFO] [stdout] test all_different_fails_when_domain_too_small ... ok
[INFO] [stdout] test backtracking_all_different_restores_exclusions ... ok
[INFO] [stdout] test clp_eq_both_bound_equal ... ok
[INFO] [stdout] test clp_eq_empty_intersection_fails ... ok
[INFO] [stdout] test all_different_fails_during_labeling_when_domain_shrinks ... ok
[INFO] [stdout] test all_different_accepts_distinct_bound_values ... ok
[INFO] [stdout] test all_different_fails_after_domain_narrows_below_group_size ... ok
[INFO] [stdout] test clp_eq_both_bound_unequal ... ok
[INFO] [stdout] test backtracking_constraint_propagation_does_not_persist ... ok
[INFO] [stdout] test all_different_succeeds_when_domain_exactly_meets_group_size ... ok
[INFO] [stdout] test clp_eq_intersection_with_exclusions ... ok
[INFO] [stdout] test clp_eq_preserves_exclusions ... ok
[INFO] [stdout] test clp_gt_narrows_lower_bound ... ok
[INFO] [stdout] test clp_gt_with_bound_left_narrows_right_domain ... ok
[INFO] [stdout] test clp_eq_binds_unbound_var ... ok
[INFO] [stdout] test all_different_propagates_to_domain ... ok
[INFO] [stdout] test clp_exclusions_not_reintroduced_after_eq ... ok
[INFO] [stdout] test clp_in_narrows_existing_domain ... ok
[INFO] [stdout] test clp_in_fails_for_bound_var_outside_range ... ok
[INFO] [stdout] test clp_gte_narrows_to_boundary ... ok
[INFO] [stdout] test clp_in_succeeds_for_bound_var_inside_range ... ok
[INFO] [stdout] test clp_in_trims_exclusions_outside_new_range ... ok
[INFO] [stdout] test clp_linsum_fails_when_impossible ... ok
[INFO] [stdout] test clp_linsum_ground_both_sides_fails ... ok
[INFO] [stdout] test clp_linsum_finds_correct_solutions_via_labeling ... ok
[INFO] [stdout] test clp_linsum_ground_both_sides_succeeds ... ok
[INFO] [stdout] test clp_linsum_narrows_both_domains ... ok
[INFO] [stdout] test clp_linsum_tight_domains_narrow_further ... ok
[INFO] [stdout] test clp_linsum_var_narrows_result_domain ... ok
[INFO] [stdout] test clp_lt_both_bound_fails ... ok
[INFO] [stdout] test clp_linsum_var_finds_correct_solutions ... ok
[INFO] [stdout] test clp_linsum_with_one_bound_binds_other ... ok
[INFO] [stdout] test clp_lt_narrows_upper_bound ... ok
[INFO] [stdout] test clp_lt_both_bound_succeeds ... ok
[INFO] [stdout] test clp_lt_with_bound_left_narrows_right_domain ... ok
[INFO] [stdout] test clp_lte_narrows_to_boundary ... ok
[INFO] [stdout] test clp_neq_both_bound_equal_fails ... ok
[INFO] [stdout] test clp_neq_both_bound_unequal ... ok
[INFO] [stdout] test clp_neq_propagates_from_singleton_var_var ... ok
[INFO] [stdout] test clp_self_unification_stable ... ok
[INFO] [stdout] test clp_unification_merges_domains ... ok
[INFO] [stdout] test clp_unification_merges_exclusions ... ok
[INFO] [stdout] test constraint_wakeup_all_different_after_binding ... ok
[INFO] [stdout] test constraint_wakeup_gt_after_binding ... ok
[INFO] [stdout] test constraint_wakeup_linsum_after_binding ... ok
[INFO] [stdout] test constraint_wakeup_lt_after_binding ... ok
[INFO] [stdout] test fixpoint_failure_on_impossible_chain ... ok
[INFO] [stdout] test fixpoint_neq_chain_propagates ... ok
[INFO] [stdout] test fixpoint_eq_unifies_domains ... ok
[INFO] [stdout] test clp_neq_excludes_value_from_domain ... ok
[INFO] [stdout] test fixpoint_transitive_lt_correct_solutions ... ok
[INFO] [stdout] test fixpoint_transitive_lt_narrows_domains ... ok
[INFO] [stdout] test indomain_enumerates_all_domain_values ... ok
[INFO] [stdout] test label_enumerates_single_variable ... ok
[INFO] [stdout] test indomain_respects_domain_exclusion ... ok
[INFO] [stdout] test label_with_all_different_finds_permutations ... ok
[INFO] [stdout] test labeling_empty_list_succeeds ... ok
[INFO] [stdout] test label_with_bound_constraint_bound_from_constant ... ok
[INFO] [stdout] test labeling_ff_with_constraint_propagation ... ok
[INFO] [stdout] test labeling_ff_min_ordered_selection ... ok
[INFO] [stdout] test labeling_invalid_option_fails ... ok
[INFO] [stdout] test label_three_vars_all_different ... ok
[INFO] [stdout] test labeling_non_list_vars_fails ... ok
[INFO] [stdout] test labeling_max_enumerates_descending ... ok
[INFO] [stdout] test labeling_ff_tie_break_max_degree ... ok
[INFO] [stdout] test labeling_preset_explore ... ok
[INFO] [stdout] test labeling_min_enumerates_ascending ... ok
[INFO] [stdout] test labeling_preset_default ... ok
[INFO] [stdout] test labeling_hybrid_ff_random_value ... ok
[INFO] [stdout] test labeling_default_same_as_label ... ok
[INFO] [stdout] test labeling_ff_selects_smallest_domain_first ... ok
[INFO] [stdout] test labeling_random_value_different_seeds_likely_differ ... ok
[INFO] [stdout] test labeling_random_var_finds_all_solutions ... ok
[INFO] [stdout] test labeling_preset_fast ... ok
[INFO] [stdout] test no_labeling_no_enumeration ... ok
[INFO] [stdout] test labeling_unknown_compound_option_fails ... ok
[INFO] [stdout] test labeling_tie_break_random_explicit ... ok
[INFO] [stdout] test labeling_rest_keeps_ground_vars ... ok
[INFO] [stdout] test labeling_random_value_seed_is_deterministic ... ok
[INFO] [stdout] test labeling_triggers_enumeration ... ok
[INFO] [stdout] test labeling_preset_explore_is_reproducible ... ok
[INFO] [stdout] test labeling_random_value_with_constraints ... ok
[INFO] [stdout] test labeling_tie_break_max_degree ... ok
[INFO] [stdout] test labeling_tie_break_unknown_arg_fails ... ok
[INFO] [stdout] test labeling_random_value_finds_all_solutions ... ok
[INFO] [stdout] test labeling_random_var_with_constraints ... ok
[INFO] [stdout] test var_var_eq_fails_on_empty_intersection ... ok
[INFO] [stdout] test var_var_eq_intersects_domains ... ok
[INFO] [stdout] test var_var_lt_fails_when_domains_incompatible ... ok
[INFO] [stdout] test var_var_lt_narrows_both_domains ... ok
[INFO] [stdout] test var_var_gte_narrows_both_domains ... ok
[INFO] [stdout] test var_var_lt_propagation_reduces_search_space ... ok
[INFO] [stdout] test var_var_lte_narrows_both_domains ... ok
[INFO] [stdout] test var_var_neq_singleton_propagation ... ok
[INFO] [stdout] test labeling_tie_break_leftmost_explicit ... ok
[INFO] [stdout] test var_var_gt_narrows_both_domains ... ok
[INFO] [stdout] test search_size_linsum_constraint_reduces_enumeration ... ok
[INFO] [stdout] test labeling_already_ground_vars_succeed ... ok
[INFO] [stdout] test search_size_lt_constraint_is_small ... ok
[INFO] [stdout] test search_size_all_different_reduces_branches ... ok
[INFO] [stdout] test search_size_send_more_money_clp_bounded ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 106 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.60s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/clp_fuzz.rs (/opt/rustwide/target/debug/deps/clp_fuzz-5708ff390aec98bc)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test fuzz_contradiction_eq_neq ... ok
[INFO] [stdout] test fuzz_transitivity_lt ... FAILED
[INFO] [stdout] test fuzz_binary_constraint_oracle ... ok
[INFO] [stdout] test fuzz_solution_values_in_domain ... ok
[INFO] [stdout] test fuzz_determinism ... ok
[INFO] [stdout] test fuzz_symmetry_lt_gt ... ok
[INFO] [stdout] test fuzz_all_different_cardinality ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- fuzz_transitivity_lt stdout ----
[INFO] [stdout] proptest: FileFailurePersistence::SourceParallel set, but failed to find lib.rs or main.rs
[INFO] [stdout] 
[INFO] [stdout] thread 'fuzz_transitivity_lt' (238) panicked at tests/clp_fuzz.rs:130:1:
[INFO] [stdout] Test aborted: Too many global rejects
[INFO] [stdout] 	successes: 193
[INFO] [stdout] 	local rejects: 0
[INFO] [stdout] 	global rejects: 1024
[INFO] [stdout] 		541 times at tests/clp_fuzz.rs:223:9: xlo <= xhi
[INFO] [stdout] 		328 times at tests/clp_fuzz.rs:224:9: ylo <= yhi
[INFO] [stdout] 		155 times at tests/clp_fuzz.rs:225:9: zlo <= zhi
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5b9cdd5f296a - std[fce30c26ee6459b]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5b9cdd5f296a - std[fce30c26ee6459b]::backtrace_rs::backtrace::trace_unsynchronized::<std[fce30c26ee6459b]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5b9cdd5f296a - std[fce30c26ee6459b]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5b9cdd5f296a - <<std[fce30c26ee6459b]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[d17f6591d688f3bd]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5b9cdd60988a - <core[d17f6591d688f3bd]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5b9cdd60988a - core[d17f6591d688f3bd]::fmt::write
[INFO] [stdout]    6:     0x5b9cdd5f7642 - std[fce30c26ee6459b]::io::default_write_fmt::<alloc[dad09f3a48280dba]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/io/mod.rs:621:11
[INFO] [stdout]    7:     0x5b9cdd5f7642 - <alloc[dad09f3a48280dba]::vec::Vec<u8> as std[fce30c26ee6459b]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/io/mod.rs:1976:13
[INFO] [stdout]    8:     0x5b9cdd5cfc2f - <std[fce30c26ee6459b]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5b9cdd5cfc2f - std[fce30c26ee6459b]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5b9cdd5eaa39 - std[fce30c26ee6459b]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5b9cdd1fe65c - <alloc[dad09f3a48280dba]::boxed::Box<dyn for<'a, 'b> core[d17f6591d688f3bd]::ops::function::Fn<(&'a std[fce30c26ee6459b]::panic::PanicHookInfo<'b>,), Output = ()> + core[d17f6591d688f3bd]::marker::Sync + core[d17f6591d688f3bd]::marker::Send> as core[d17f6591d688f3bd]::ops::function::Fn<(&std[fce30c26ee6459b]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   12:     0x5b9cdd1fe65c - test[9653f4f1d2ca1489]::test_main_inner::<test[9653f4f1d2ca1489]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5b9cdd5eacb2 - <alloc[dad09f3a48280dba]::boxed::Box<dyn for<'a, 'b> core[d17f6591d688f3bd]::ops::function::Fn<(&'a std[fce30c26ee6459b]::panic::PanicHookInfo<'b>,), Output = ()> + core[d17f6591d688f3bd]::marker::Sync + core[d17f6591d688f3bd]::marker::Send> as core[d17f6591d688f3bd]::ops::function::Fn<(&std[fce30c26ee6459b]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   14:     0x5b9cdd5eacb2 - std[fce30c26ee6459b]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5b9cdd5cfce8 - std[fce30c26ee6459b]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5b9cdd5c4de9 - std[fce30c26ee6459b]::sys::backtrace::__rust_end_short_backtrace::<std[fce30c26ee6459b]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5b9cdd5d09fd - __rustc[de152adb51f02556]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5b9cdd60a04c - core[d17f6591d688f3bd]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5b9cdd1c2757 - clp_fuzz[16f86a836c894d9d]::fuzz_transitivity_lt
[INFO] [stdout]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.11.0/src/sugar.rs:163:17
[INFO] [stdout]   20:     0x5b9cdd1bc7b7 - clp_fuzz[16f86a836c894d9d]::fuzz_transitivity_lt::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.11.0/src/sugar.rs:159:28
[INFO] [stdout]   21:     0x5b9cdd1f1576 - <clp_fuzz[16f86a836c894d9d]::fuzz_transitivity_lt::{closure#0} as core[d17f6591d688f3bd]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x5b9cdd1f193b - <fn() -> core[d17f6591d688f3bd]::result::Result<(), alloc[dad09f3a48280dba]::string::String> as core[d17f6591d688f3bd]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5b9cdd1f193b - test[9653f4f1d2ca1489]::__rust_begin_short_backtrace::<core[d17f6591d688f3bd]::result::Result<(), alloc[dad09f3a48280dba]::string::String>, fn() -> core[d17f6591d688f3bd]::result::Result<(), alloc[dad09f3a48280dba]::string::String>>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/test/src/lib.rs:724:18
[INFO] [stdout]   24:     0x5b9cdd1ff12b - test[9653f4f1d2ca1489]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/test/src/lib.rs:747:74
[INFO] [stdout]   25:     0x5b9cdd1ff12b - <core[d17f6591d688f3bd]::panic::unwind_safe::AssertUnwindSafe<test[9653f4f1d2ca1489]::run_test_in_process::{closure#0}> as core[d17f6591d688f3bd]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x5b9cdd1ff12b - std[fce30c26ee6459b]::panicking::catch_unwind::do_call::<core[d17f6591d688f3bd]::panic::unwind_safe::AssertUnwindSafe<test[9653f4f1d2ca1489]::run_test_in_process::{closure#0}>, core[d17f6591d688f3bd]::result::Result<(), alloc[dad09f3a48280dba]::string::String>>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x5b9cdd1ff12b - std[fce30c26ee6459b]::panicking::catch_unwind::<core[d17f6591d688f3bd]::result::Result<(), alloc[dad09f3a48280dba]::string::String>, core[d17f6591d688f3bd]::panic::unwind_safe::AssertUnwindSafe<test[9653f4f1d2ca1489]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x5b9cdd1ff12b - std[fce30c26ee6459b]::panic::catch_unwind::<core[d17f6591d688f3bd]::panic::unwind_safe::AssertUnwindSafe<test[9653f4f1d2ca1489]::run_test_in_process::{closure#0}>, core[d17f6591d688f3bd]::result::Result<(), alloc[dad09f3a48280dba]::string::String>>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x5b9cdd1ff12b - test[9653f4f1d2ca1489]::run_test_in_process
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/test/src/lib.rs:747:27
[INFO] [stdout]   30:     0x5b9cdd1ff12b - test[9653f4f1d2ca1489]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/test/src/lib.rs:668:43
[INFO] [stdout]   31:     0x5b9cdd1f8844 - test[9653f4f1d2ca1489]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/test/src/lib.rs:698:41
[INFO] [stdout]   32:     0x5b9cdd1f8844 - std[fce30c26ee6459b]::sys::backtrace::__rust_begin_short_backtrace::<test[9653f4f1d2ca1489]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x5b9cdd201d32 - std[fce30c26ee6459b]::thread::lifecycle::spawn_unchecked::<test[9653f4f1d2ca1489]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   34:     0x5b9cdd201d32 - <core[d17f6591d688f3bd]::panic::unwind_safe::AssertUnwindSafe<std[fce30c26ee6459b]::thread::lifecycle::spawn_unchecked<test[9653f4f1d2ca1489]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[d17f6591d688f3bd]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x5b9cdd201d32 - std[fce30c26ee6459b]::panicking::catch_unwind::do_call::<core[d17f6591d688f3bd]::panic::unwind_safe::AssertUnwindSafe<std[fce30c26ee6459b]::thread::lifecycle::spawn_unchecked<test[9653f4f1d2ca1489]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x5b9cdd201d32 - std[fce30c26ee6459b]::panicking::catch_unwind::<(), core[d17f6591d688f3bd]::panic::unwind_safe::AssertUnwindSafe<std[fce30c26ee6459b]::thread::lifecycle::spawn_unchecked<test[9653f4f1d2ca1489]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x5b9cdd201d32 - std[fce30c26ee6459b]::panic::catch_unwind::<core[d17f6591d688f3bd]::panic::unwind_safe::AssertUnwindSafe<std[fce30c26ee6459b]::thread::lifecycle::spawn_unchecked<test[9653f4f1d2ca1489]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x5b9cdd201d32 - std[fce30c26ee6459b]::thread::lifecycle::spawn_unchecked::<test[9653f4f1d2ca1489]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   39:     0x5b9cdd201d32 - <std[fce30c26ee6459b]::thread::lifecycle::spawn_unchecked<test[9653f4f1d2ca1489]::run_test::{closure#1}, ()>::{closure#1} as core[d17f6591d688f3bd]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x5b9cdd5f223f - <alloc[dad09f3a48280dba]::boxed::Box<dyn core[d17f6591d688f3bd]::ops::function::FnOnce<(), Output = ()> + core[d17f6591d688f3bd]::marker::Send> as core[d17f6591d688f3bd]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/alloc/src/boxed.rs:2271:9
[INFO] [stdout]   41:     0x5b9cdd5f223f - <std[fce30c26ee6459b]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/b8e88e5ddf5521a9f43ee3f62a702388c713e4bb/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x74878e598aa4 - <unknown>
[INFO] [stdout]   43:     0x74878e625a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     fuzz_transitivity_lt
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 6 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 8.78s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test clp_fuzz`
[INFO] running `Command { std: "docker" "inspect" "5daf89875cc9bffa289993ab02d1d8d46e92fe9f788dc1d3960d404440e4be2e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5daf89875cc9bffa289993ab02d1d8d46e92fe9f788dc1d3960d404440e4be2e", kill_on_drop: false }`
[INFO] [stdout] 5daf89875cc9bffa289993ab02d1d8d46e92fe9f788dc1d3960d404440e4be2e
